41. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
42. Job scheduling strategies for parallel processing :
پدیدآورنده : Dalibor Klusáček, Walfredo Cirne, Narayan Desai (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer capacity-- Management, Congresses.,Computer scheduling, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture & logic design.,Computer capacity-- Management.,Computer scheduling.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Parallel processing (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
58
43. Languages, compilers, and run-time environments for distributed memory machines /
پدیدآورنده : edited by Joel Saltz and Piyush Mehrotra
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs),Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
رده :
QA76
.
9
.
D5
L3655
1992
44. Linear time, branching time, and partial order in logics and models for concurrency :
پدیدآورنده : J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
L523
1989
45. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
354
46. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing
رده :
QA
76
.
5
.
L523
1989
47. Logics for concurrency : structure versus automata
پدیدآورنده : Faron Moller, Graham Birtwistle )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1043
48. Modelling distributed systems
پدیدآورنده : / Wan Fokkink
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Parallel processing (Electronic computers),Electronic data processing--Distributed processing,Parallel programs (Computer programs)--Verification
رده :
QA
,
76
.
58
,.
F65
,
2007
49. Network and parallel computing :
پدیدآورنده : Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses,Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2013
50. Network and parallel computing :
پدیدآورنده : Feng Zhang, Jidong Zhai, Marc Snir, Hai Jin, Hironori Kasahara, Mateo Valero (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Parallel computers, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer networks.,Parallel computers.,Parallel processing (Electronic computers)
رده :
QA76
.
58
51. Network-based parallel computing
پدیدآورنده : Dhabaleswar K. Panda, Craig B. Stunkel, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers), Congresses.
52. Object-based parallel and distributed computation : France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21-23, 1995 : selected papers
پدیدآورنده : Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Object-oriented programming )Computer science(,، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1107
53. Operating systems
پدیدآورنده : / Jean Bacon and Tim Harris
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Operating systems (Computers),Parallel programming (Computer science),Electronic data processing--Distributed processing
رده :
QA
,
76
.
76
,.
O63
,
B3319
,
2003
54. Operating systems
پدیدآورنده : / Jean Bacon and Tim Harris
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Operating systems (Computers),Parallel programming (Computer science),Electronic data processing- Distributed processing
رده :
QA76
.
76
.
O63
,
B3319
2003
55. Operating systems :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Operating systems (Computers) ; Parallel programming (Computer science) ; Electronic data processing ; Distributed processing ;
56. Operating systems: concurrent and distributed software design
پدیدآورنده : Bacon, Jean
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Operating systems )Computers(,، Parallel programming )Computer science(,Distributed processing ، Electronic data processing
رده :
QA
76
.
76
.
O63
B3319
2003
57. Operating systems. concurrent and distributed software design
پدیدآورنده : Bacon, Jean
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Operating systems )Computers(,، Parallel programming )Computer science(,، Electronic data processing- Distributed processing
رده :
QA
76
.
76
.
O63
B3319
2003
58. Parallel Computational Fluid Dynamics '93 :
پدیدآورنده : A Ecer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational fluid dynamics -- Congresses.,Parallel processing (Electronic computers) -- Congresses.,Supercomputers -- Congresses.
59. Parallel I/O for cluster computing
پدیدآورنده : edited by Christophe Cerin & Hai Jin
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Parallel processing )Electronic computers(,Distributed processing ، Electronic data processing,، Beowulf clusters )Computer systems(,، Computer input-output equipment
رده :
QA76
.
58
.
P37635
2004
60. Parallel I/O for cluster computing /
پدیدآورنده : edited by Christophe Cérin & Hai Jin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Beowulf clusters (Computer systems),Computer input-output equipment.,Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers),Beowulf clusters (Computer systems),Computer input-output equipment.,Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
P37635
2004
